((v1 v2 1) (v1 v3 0) (v2 v3 6) (v1 v4 1) (v2 v4 6) (v3 v4 0) (v1 v5 9) (v2 v5 5) (v3 v5 3) (v4 v5 9))
61
((v1 v3) (v4 v1))